#include<stdio.h>
int main()
{
    long int N;
    int a[10]={0},i;
    scanf("%ld",&N);
    if(N==0) printf("0:1");
    while(N>0){
        switch(N%10){
            case 0: a[0]++; break;
            case 1: a[1]++; break;
            case 2: a[2]++; break;
            case 3: a[3]++; break;
            case 4: a[4]++; break;
            case 5: a[5]++; break;
            case 6: a[6]++; break;
            case 7: a[7]++; break;
            case 8: a[8]++; break;
            case 9: a[9]++; break;
        }
        N/=10;
    }
    for(i=0;i<10;i++){
        if(a[i]!=0)  printf("%d:%d\n",i,a[i]);
    }
}
